Recovering unitary calculus from calculus with reality
نویسندگان
چکیده
By analogy with complex K–theory and reality, there are theories of unitary functor calculus both which generalisations Weiss' orthogonal calculus. In this paper we show that can be completely recovered from the in to how topological is reality via forgetting C2–action.
منابع مشابه
From a Concurrent - calculus to the - calculus ?
We explore the (dynamic) semantics of a simply typed-calculus enriched with parallel composition, dynamic channel generation, and input-output communication primitives. The calculus, called the k-calculus, can be regarded as the kernel of concurrent-functional languages such as LCS, CML and Facile, and it can be taken as a basis for the definition of abstract machines, the transformation of pro...
متن کاملFrontiers of Reality in Schubert Calculus
The theorem of Mukhin, Tarasov, and Varchenko (formerly the Shapiro conjecture for Grassmannians) asserts that all (a priori complex) solutions to certain geometric problems in the Schubert calculus are actually real. Their proof is quite remarkable, using ideas from integrable systems, Fuchsian differential equations, and representation theory. There is now a second proof of this result, and i...
متن کاملEigenvalues of Products of Unitary Matrices and Quantum Schubert Calculus
We describe the inequalities on the possible eigenvalues of products of unitary matrices in terms of quantum Schubert calculus. Related problems are the existence of flat connections on the punctured two-sphere with prescribed holonomies, and the decomposition of fusion product of representations of SU(n), in the large level limit. In the second part of the paper we investigate how various aspe...
متن کاملSOME FUNDAMENTAL RESULTS ON FUZZY CALCULUS
In this paper, we study fuzzy calculus in two main branches differential and integral. Some rules for finding limit and $gH$-derivative of $gH$-difference, constant multiple of two fuzzy-valued functions are obtained and we also present fuzzy chain rule for calculating $gH$-derivative of a composite function. Two techniques namely, Leibniz's rule and integration by parts are introduced for ...
متن کاملFrom -calculus to Higher-order -calculus | and Back
We compare the rst-order and the higher-order paradigms for the representation of mobility in process algebras. The prototypical calculus in the rst-order paradigm is the-calculus. By generalising its sort mechanism we derive an !-order extension, called Higher-Order-calculus (HO). We give examples of its use, including the encoding of-calculus. Surprisingly, we show that such an extension does...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2023
ISSN: ['1873-1376', '0022-4049']
DOI: https://doi.org/10.1016/j.jpaa.2023.107416